Works by Roque Da C. Caiero

( view other items matching `Roque da C. Caiero`, view all matches )
Order:
  1. A new paraconsistent set theory: A/l.Roque da C. Caiero & Edelcio G. de Souza - 1997 - Logique Et Analyse 40:115-141.
     
    Export citation  
     
    Bookmark  
  2.  60
    K-transforms in classical and paraconsistent logics.Newton C. A. Da Costa & Roque Da C. Caiero - 1999 - Logic and Logical Philosophy 7:63.
    We study some metamathematical properties of various classicaland paraconsistent logical systems. In particular, we discuss the concept ofa k-transform of a formula and consider some of its applications.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  22
    K-transforms in classical and paraconsistent logics.Newton C. A. Da Costa & Roque da C. Caiero - 1999 - Logic and Logical Philosophy 7:63-80.
    We study some metamathematical properties of various classicaland paraconsistent logical systems. In particular, we discuss the concept ofa k-transform of a formula and consider some of its applications.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark